#include <linux/unistd.h>
#include <sys/syscall.h>
#include <stdio.h>

int main(void)
{
	long stack_size = syscall(314);
	printf("The kernel stack size is %ld\n", stack_size);
	return 0;
}
